The Rigorous Generation of Java Mutation Operators Using HAZOP
نویسندگان
چکیده
This report proposes the use of a safety technique known as HAZOP (Hazard and Operability Studies) to rigorously generate mutation operators for Java. A set of Java mutation operators is proposed by applying HAZOP to the Java syntax definition and is compared to the operator sets of current mutation systems. Hypothesised flaws, which are also obtained by HAZOP application to Java language constructs, are listed and compared to existing fault taxonomies.
منابع مشابه
STRUCTURAL OPTIMIZATION USING A MUTATION-BASED GENETIC ALGORITHM
The present study is an attempt to propose a mutation-based real-coded genetic algorithm (MBRCGA) for sizing and layout optimization of planar and spatial truss structures. The Gaussian mutation operator is used to create the reproduction operators. An adaptive tournament selection mechanism in combination with adaptive Gaussian mutation operators are proposed to achieve an effective search in ...
متن کاملUsing Model Checking to Generate Tests from Speci cations
We apply a model checker to the problem of test generation using a new application of mutation analysis. We deene syntactic operators, each of which produces a slight variation on a given model. The operators deene a form of mutation analysis at the level of the model checker speciication. A model checker generates counterexamples which distinguish the variations from the original speciication....
متن کاملMutation Operators for Concurrent Java (J2SE 5.0)1
The current version of Java (J2SE 5.0) provides a high level of support for concurreny in comparison to previous versions. For example, programmers using J2SE 5.0 can now achieve synchronization between concurrent threads using explicit locks, semaphores, barriers, latches, or exchangers. Furthermore, built-in concurrent data structures such as hash maps and queues, built-in thread pools, and a...
متن کاملMutations in the RpoB Gene of Multidrug-Resistant Mycobacterium Tuberculosis Isolates from Semarang, Indonesia
ABSTRACTTuberculosis is an infectious disease which occurs widely in the world and becomes one of the top 10 causes of death worldwide. Mutations of the RpoB gene cause the resistance of Mycobacterium tuberculosis to rifampicin that contributes to the occurrence of MDR-TB. This study aimed to determine the pattern of rpoB gene polymorphisms in the MDR M. tuberculosis in Semarang, Indonesia. Mos...
متن کاملI-37: Establishing High Resolution Genomic Profiles of Single Cells Using Microarray and Next-Generation Sequencing Technologies
The nature and pace of genome mutation is largely unknown. Standard methods to investigate DNA-mutation rely on arraying or sequencing DNA from a population of cells, hence the genetic composition of individual cells is lost and de novo mutation in cell(s) is concealed within the bulk signal. We developed methods based on (SNP-) arraying and next-generation sequencing of single-cell whole-genom...
متن کامل